Nuprl Definition : l_interval
11,40
postcript
pdf
l_interval(
l
;
j
;
i
) == mklist(
i
-
j
;
x
.
l
[(
j
+
x
)])
latex
Definitions
l
[
i
]
,
mklist(
n
;
f
)
FDL editor aliases
l_interval
origin
x.l[(j+x)]) x.l[(j+x)])